Advanced SPIN Tutorial
نویسندگان
چکیده
Spin [9] is a model checker for the verification of distributed systems software. The tool is freely distributed, and often described as one of the most widely used verification systems. The Advanced Spin Tutorial is a sequel to [7] and is targeted towards intermediate to advanced Spin users.
منابع مشابه
SPIN Tutorial: How to Become a SPIN Doctor
Spin is a model checker for the verification of software systems. Spin uses a high level language called Promela to specify systems descriptions. The goal of this tutorial is to introduce novice users to both Promela and Spin. The tutorial itself is divided into two parts. The Basic Spin part is targeted towards novice users of Spin. The Advanced Spin part of the tutorial could also be of consi...
متن کاملEffective Bug Hunting with Spin and Modex
This tutorial consists of two parts. In the first part we present an advanced overview of Spin [1, 4], and illustrate its practical application to logic model checking problems. In the second part of the tutorial we present an overview of a related tool called Modex [2, 3]. Modex can be used to extract Spin verification models directly from C source code. It supports the definition of user-defi...
متن کاملVerifying Parallel Programs with MPI-Spin
Standard testing and debugging techniques are notoriously ineffective when applied to parallel programs, due to the numerous sources of nondeterminism arising from parallelism. MPI-Spin, an extension of the model checker Spin for verifying and debugging MPI-based parallel programs, overcomes many of the limitations associated with the standard techniques. By exploring all possible executions of...
متن کاملDevelopment and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملA tutorial for SU(2) and spin waves
These are tutorial notes that are intended to accompany Bruno Nachtergaele’s lectures on an introduction to quantum spin systems for the NSF-CBMS Regional The first part is intended to be a review of quantum spins and especially SU(2) as introduced, for example, in a first course on quantum mechanics. Many students will recognize all the facts in the first part from an undergraduate physics cou...
متن کامل